Als Lukasiewicz-Notation, polnische Notation oder klammerfreie Schreibweise bezeichnet man eine Notation des Aussagenkalküls, bei der als Aussagenvariablen kleine Buchstaben, evtl. mit Indizes und als Junktoren große Buchstaben, evtl. ebenfalls mit Indizes verwendet werden und die keine Klammern benötigt. Im Fall der zweiwerti...